Generalised path-following for well-behaved nonlinear structures
نویسندگان
چکیده
منابع مشابه
A Well - Behaved Algorithm for SimulatingDependence Structures of Bayesian
Automatic generation of Bayesian network (BNs) structures (directed acyclic graphs) is an important step in experimental study of algorithms for inference in BNs and algorithms for learning BNs from data. Previously known simulation algorithms do not guarantee connectedness of generated structures or even successful genearation according to a user speciication. We propose a simple, eecient and ...
متن کاملPreservation Under Extensions on Well-Behaved Finite Structures
A class of relational structures is said to have the extension preservation property if every first-order sentence that is preserved under extensions on the class is equivalent to an existential sentence. The class of all finite structures does not have the extension preservation property. We study the property on classes of finite structures that are better behaved. We show that the property h...
متن کاملTowards Well-behaved Semantics Suitable for Aggregation towards Well-behaved Semantics Suitable for Aggregation
Real Applications of Databases ask for the support of Ag-gregation. This, however, needs stronger semantics than usual. In particular , such semantics should extend the wellfounded semantics WFS. We study such extensions and determine which semantics are possible given certain abstract properties like partial evaluation, cumulativity, partial monotony and supraclassicality. While WFS + (introdu...
متن کاملWell Behaved Transition Systems
The well-quasi-ordering (i.e., a well-founded quasi-ordering such that all antichains are finite) that defines well-structured transition systems (WSTS) is shown not to be the weakest hypothesis that implies decidability of the coverability problem. We show coverability decidable for monotone transition systems that only require the absence of infinite antichains and call well behaved transitio...
متن کاملWell-behaved Production Economies
We show that production economies are tâtonnement stable if consumers satisfy the weak axiom of revealed preference. To ensure that producer supply decisions are well defined, we restrict prices in the tâtonnement so that positive profits cannot occur but do allow supply decisions to be multi-valued. The model therefore permits linear activities and hence the technologies that admit capital the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Methods in Applied Mechanics and Engineering
سال: 2018
ISSN: 0045-7825
DOI: 10.1016/j.cma.2017.12.001